predicate calculus - French English Dictionary